A Constrained Object Model for Configuration Based Workflow Composition

Automatic or assisted workflow composition is a field of intense research for applications to the world wide web or to business process modeling. Workflow composition is traditionally addressed in various ways, generally via theorem proving techniques. Recent research observed that building a composite workflow bears strong relationships with finite model search, and that some workflow languages can be defined as constrained object metamodels . This lead to consider the viability of applying configuration techniques to this problem, which was proven feasible. Constrained based configuration expects a constrained object model as input. The purpose of this document is to formally specify the constrained object model involved in ongoing experiments and research using the Z specification language.Comment: This is an extended version of the article published at BPM'05, Third International Conference on Business Process Management, Nancy Franc

Language de Requête Configurable pour la Composition de Services Web Semantiques

La composition est un des principaux challenge pour la communauté des services web sémantiques (SWS). Parmi les approches existantes, il a été montré efficace d'utiliser des techniques à base de contraintes (telle que la configuration) pour créer des orchestrations à partir des choréographies. Des expérimentations supplémentaires ont révélé les limitations et les ambiguités sémantiques qui peuvent survenir à partir de la requête à un composeur. Cet article propose une approche originale où la requête est vue comme un problème en lui-même, et montre comment la configuration peut être utilisée pour le résoudre grâce à un modèle objet contraint

Génération rapide et filtrage de configurations canoniques

La configuration sous contraintes présente une nouvelle difficulté à prendre en compte par les méthodes d'élimination de symétries connues par la communauté CSP car elle y introduit un aspect dynamique. Nous présentons ici une amélioration significative d'un algorithme de génération de configurations canoniques. Cette nouvelle version exploite l'incrémentalité que l'on peut faire ressortir de la génération de solutions canoniques et de l'ordre total sur les arbres sur laquelle elle repose. La complexité du test de canonicité passe ainsi de O(Nlog(N)) à O(N). De plus, une technique de filtrage nous permet d'éliminer à l'avance des configurations non canoniques. Des résultats expérimentaux montrent l'intérêt de cette approche sur des problèmes classiques

Traduction automatique de grammaires à base de traits en un problème de configuration syntaxique

Nous présentons un outil effectif de traduction automatique d'une grammaire de propriété en un problème de configuration sous contraintes. Un template Latex (utilisant les AVMs1 standards) est utilisé pour spécifier la grammaire et le générateur prend en entrée les fichiers Latex utilisés pour la documenter. Ainsi, notre contribution propose à la fois une validation syntaxique des grammaires de propriété (l'outil détecte les inconsistances dans la grammaire au niveau de la formulation) et une manière de vérifier la correction et la consistance de la grammaire (en détectant les erreurs et/ou les étiquetages manquant des phrases de test). L'approche pourrait se voir étendue à d'autres théories linguistiques basées sur les contraintes

Comprendre des Descriptions Simples à l'aide d'un Configurateur

http://www710.univ-lyon1.fr/~csolnonLe but de l'analyse du langage naturel est de construire des représentations traitables par une machine d'un texte donné en entrée. Nous présentons ici une nouvelle approche de ce problème qui combine l'analyse syntaxique (le parsage) et la construction de la sémantique en une unique tâche de configuration. L'utilisation d'un configurateur pour le parsage est possible en décrivant la grammaire comme un modèle objet sous contraintes. Nous étendons cette approche au traitement de la sémantique en introduisant deux nouveaux modèles objets contraints: un pour représenter la sémantique, et l'autre pour lier la syntaxe et la sémantique via la notion de "schémas". Nous mettons en avant les avantages de cette approche et présentons des résultats expérimentaux dans le cadre encore restreint de textes descriptifs simples, mais qui pourra être étendu pour capturer des sémantiques plus riches. Le système objet contraint sous-jacent est présenté formellement en utilisant le langage relationnel Z

Les grammaires de configuration : un cadre grammatical moderne

Ce papier présente une nouvelle approche pour la description de grammaires du langage naturel et pour leur utilisation lors de l'analyse. Nous définissons un modèle objet contraint qui peut être étendu pour implémenter les formalismes grammaticaux et être ensuite exploité par un configurateur pour analyser syntaxiquement des phrases. Le cadre général se nomme Grammaires de Configuration et peut être utilisé pour la description de grammaires de dépendences comme pour celle de grammaires syntagmatiques. Nous proposons un exemple détaillé de cette application à un formalisme génératif à base de contraintes nommé les grammaires de propriétés

Composition de Workflows à l'aide de la Configuration

http://www710.univ-lyon1.fr/~csolnonLa composition automatique ou assistée de workflows est un domaine d'intense recherche avec des applications au "world wide web" et à la modélisation de processus métiers (BPM), traditionnellement envisagée en utilisant des techniques de programmation logique et de démonstration automatique. L'originialité de cette recherche provient de l'observation que la construction d'un workflow composite est un problème de recherche de modèles finis, et que la plupart des languages de workflows peuvent être définis par des métamodèles objets contraints, comme UML ou YAWL. Cela conduit à envisager l'application de techniques de configuration à base de contraintes à ce problème, ce dont nous montrons la faisabilité. Nous présentons un modèle objet contraint pour la composition de workflows, s'appuyant sur un métamodèle contraint ainsi que des ontologies de processus et de flots de données. Des résultats expérimentaux sont donnés pour une implantation qui génère des workflows composites complexes mettant en jeu transformations, synchronisations et tests

Optimisation par colonie de fourmis pour la configuration

National audienceUne des difficultés inhérentes à la recherche énumérative est l'explosion combinatoire. Parmi les algorithmes incomplets qui tentent de résoudre ce problème, l'optimisation par colonie de fourmis (ACO - Ant Colony Optmisation), qui combine des méthodes aléatoires et heuristiques avec l'apprentissage par renforcement, a prouvé son efficacité sur de nombreux problèmes de satisfaction de contraintes (CSP). Cet article présente une application d'un algorithme basé sur ACO pour la configuration, ce qui à notre connaissance n'avait pas encore été étudié. Nous décrivons comment la nature des problèmes non-bornés de configuration influe sur l'approche ACO, notamment à cause de la présence de variables ensemblistes et de domaines ouverts. Nous proposons un algorithme et un modèle phéromonal original permettant de traiter ces difficultés. Nous montrons également l'utilisation de l'optimisation par essaim de particules (PSO) pour converger vers des ensembles de paramètres optimaux. Enfin, nous fournissons des résultats expérimentaux, à la fois pour des instances aléatoires et pour le problème d'optimisation des racks

GEO-6 assessment for the pan-European region

Through this assessment, the authors and the United Nations Environment Programme (UNEP) secretariat are providing an objective evaluation and analysis of the pan-European environment designed to support environmental decision-making at multiple scales. In this assessment, the judgement of experts is applied to existing knowledge to provide scientifically credible answers to policy-relevant questions. These questions include, but are not limited to the following:• What is happening to the environment in the pan-European region and why?• What are the consequences for the environment and the human population in the pan-European region?• What is being done and how effective is it?• What are the prospects for the environment in the future?• What actions could be taken to achieve a more sustainable future?<br/